UK

Results: 509634



#Item
241Model checkers / Model checking / Abstraction / Mathematical proof / Economic model / Verification / Theoretical computer science / Formal methods / Cognitive science / Computing / PRISM model checker / Construction and Analysis of Distributed Processes

Automated Quantitative Software Verification by Mark Kattenbelt A thesis submitted for the degree of

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2011-03-15 10:13:22
242Broadband / Communication / Economy of the United Kingdom / Economy / Department for Digital /  Culture /  Media and Sport / Ofcom / Postal system of the United Kingdom / Television in the United Kingdom / BT Group / Local-loop unbundling / Telephone slamming / Migration Authorisation Code

General Condition 24 on Sales and Marketing of Fixed-Line Telephony Services Scope

Add to Reading List

Source URL: trianglenetworks.co.uk

Language: English - Date: 2018-03-21 13:51:22
243Computing / Routing protocols / Data transmission / Network architecture / Internet architecture / Internet Standards / Internet protocols / Routing algorithms / Constraint / Open Shortest Path First / Link-state routing protocol / Router

1 Computing Minimal Update Sequences for Graceful Router-wide Reconfigurations Francois Clad1 , Stefano Vissicchio2 , Pascal Mérindol1 , Pierre Francois3 and Jean-Jacques Pansiot1 1

Add to Reading List

Source URL: www0.cs.ucl.ac.uk

Language: English - Date: 2016-11-17 12:53:02
244Software engineering / Computer programming / Mathematics / Spectral theory / Computability theory / Lambda calculus / Theoretical computer science / Monad / Continuous function / Function composition / Spectral theory of ordinary differential equations / Jordan normal form

Technical Report On the Mathematical Properties of Monadic Stream Functions 1.

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2018-10-16 07:48:38
245Type theory / Theoretical computer science / Proof assistants / Mathematical logic / Programming language theory / Formal methods / Lambda calculus / Logic in computer science / Isabelle / HOL / HindleyMilner type system / Automated theorem proving

Tobias Nipkow Programming and Proving in Isabelle/HOL le l

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2018-08-15 07:19:23
246Economy / Business / Contract law / Legal documents / Invoice / Sale of Goods Act / Contract / Value-added tax / Point of sale / Receipt / Law of obligations / Affreightment

Lippincott Williams & Wilkins TERMS AND CONDITIONS (THE BUYER’S ATTENTION IS DRAWN IN PARTICULAR TO THE PROVISIONS OF CONDITIONS 9 ANDDefinitions In these Conditions:

Add to Reading List

Source URL: distribution.nbni.co.uk

Language: English - Date: 2016-04-20 07:55:09
247Theoretical computer science / Theory of computation / Computability theory / Mathematics / Turing machine / Alan Turing / Models of computation / Ambient calculus / Turing completeness / Halting problem / Computability / Reduction

Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2009-08-14 07:09:04
248

IGP-as-a-Backup for Robust SDN Networks Olivier Tilmans Stefano Vissicchio Universit´e catholique de Louvain

Add to Reading List

Source URL: www0.cs.ucl.ac.uk

Language: English - Date: 2016-11-17 12:53:02
    249Ethical theories / CAL Actor Language / Parametric determinism

          What  difference  can  I  make?  

    Add to Reading List

    Source URL: scotdectrees.users38.interdns.co.uk

    Language: English - Date: 2014-06-10 06:32:00
    250I0 / Invariant / XC

    Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2017-01-24 06:23:37
    UPDATE